bitkeeper revision 1.152 (3e7a2f356NlbC64ykB5SR-7x-EFzvw)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 20 Mar 2003 21:14:29 +0000 (21:14 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Thu, 20 Mar 2003 21:14:29 +0000 (21:14 +0000)
commit49fa875edb1b339eed3ffebb850080dad4e202f8
tree71090fe49151078969785720cbb30e36b0214dc6
parent6b62a7127fd30e736ef60fc92a9c53fbde817175
bitkeeper revision 1.152 (3e7a2f356NlbC64ykB5SR-7x-EFzvw)

kernel.c:
  Fix Xen printing for domains & CPUs with id >= 10.
xen/common/kernel.c